41. Intensional mathematics /
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constructive mathematics,Intuitionistic mathematics,Modality (Logic)
رده :
QA9
.
46
.
I57
1985
42. Intentional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
43. Interpolation and definability
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(
رده :
QA
281
.
G28I5
44. Introduction to deontic logic and the theory of normative systems /
پدیدآورنده : Lennart Åqvist
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Deontic logic,Modality (Logic),Logique déontique,Logique symbolique et mathématique
رده :
BC145
.
A67
1987
45. Introductory modal logic
پدیدآورنده : Konyndyk, Kenneth.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6
K66
1986
46. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده : Gabbay, Dov M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6
.
G3
47. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6G22
48. Kant's modal metaphysics
پدیدآورنده : Stang, Nicholas Frederick, 9791-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Kant, Immanuel, 4271-4081,، Modality )Logic(,، Metaphysics
رده :
B
2799
.
M5S72
49. Laws, modalities, and counterfactuals
پدیدآورنده : Reichenbach, Hans, 1981-3591
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Counterfactuals )Logic(,، Modality )Logic(,، Law -- Philosophy
رده :
BC
199
.
C66R44
50. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science)
رده :
QA9
.
54
.
L64
2003
51. Logic for concurrency and synchronisation]CD[
پدیدآورنده : edited by Ruy J.G.B. de Queiroz
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Proof theory,، Modality )Logic(,، Parallel programming )Computer science(
رده :
CD
1743-35
52. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
رده :
E-BOOK
53. Logics of time and computation
پدیدآورنده : Goldblatt, Robert
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(
رده :
P
25
.
C28
No
.
7
54. #Many-dimensional modal logics
پدیدآورنده : #D.M. Gabbay ... ]et al.[
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Modality )Logic(
رده :
#
BC
،#.
M6
,
M34
55. Mathematics of modality
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Modality (Logic) ;
56. Mathematics of modality
پدیدآورنده : / Robert Goldblatt
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Modality (Logic)
رده :
QA9
.
46
.
G66
1993
57. Mathematics of modality
پدیدآورنده : / Robert Goldblatt
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Modality (Logic)
رده :
QA9
.
46
.
G66
1993
58. Mathematics of modality
پدیدآورنده : / Robert Goldblatt
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Modality (Logic)
رده :
E-BOOK
59. Mere possibilities :
پدیدآورنده : Robert Stalnaker
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Metaphysics,Modality (Logic),Possibility
رده :
BC199
.
P7
S73
2012
60. Mere possibilities : metaphysical foundations of modal semantics
پدیدآورنده : Stalnaker, Robert
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Possibility,، Modality )Logic(,، Metaphysics
رده :
BC
199
.
P7S72
